1. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
پدیدآورنده : \ Richard L. Epstein, Walter A. Carnielli
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
,.
59
.
E67
2. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L.
موضوع : ، Computable functions,، Logic, Symbolic and mathematical,، Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L., 7491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
E67
1989
4. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
E67
5. Computable functions
پدیدآورنده : Vereshchagin, Nikolai Konstantinovich, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computable functions
رده :
QA
9
.
59
.
V47V913
6. Computable functions /
پدیدآورنده : A. Shen, N.K. Vereshchagin ; translated by V.N. Dubrovskii
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions
رده :
QA9
.
59
.
V4713
2003
7. Introduction to mathematical logic : set theory, computable functions, model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979
8. Introduction to mathematical logic : set theory computable functions model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979
9. Introduction to mathematical logic, set theory, computable functions, model theory
پدیدآورنده : Malitz, J.
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
10. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده : Soare, Robert Irving
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
11. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده : Robert I. Soare,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Recursive functions,Computable functions
رده :
QA
.
S63
9
.
615
1987
12. Recursively enumerable sets and degrees :astudy of computable functions and computably generated sets
پدیدآورنده : Soare, Robert Irving
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
13. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
2004
14. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
15. The undecidable;basic papers on undecidable propositions, unsolvable problems and computable functions.
پدیدآورنده : Davis, Martin 8291-ed.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
QA
229
.
6
.
D3
U5
1965
